The three-dimensional structure of fronts in mid-latitude weather systems in numerical weather prediction models

Atmospheric fronts are a widely used conceptual model in meteorology, most encountered as two-dimensional (2-D) front lines on surface analysis charts. The three-dimensional (3-D) dynamical structure of fronts has been studied in the literature by means of “standard” 2-D maps and cross-sections and is commonly sketched in 3-D illustrations of idealized weather systems in atmospheric science textbooks. However, only recently has the feasibility of the objective detection and visual analysis of 3-D frontal structures and their dynamics within numerical weather prediction (NWP) data been proposed, and such approaches are not yet widely known in the atmospheric science community. In this article, we investigate the benefit of objective 3-D front detection for case studies of extra-tropical cyclones and for comparison of frontal structures between different NWP models. We build on a recent gradient-based detection approach, combined with modern 3-D interactive visual analysis techniques, and adapt it to handle data from state-of-the-art NWP models including those run at convection-permitting kilometre-scale resolution. The parameters of the detection method (including data smoothing and threshold parameters) are evaluated to yield physically meaningful structures. We illustrate the benefit of the method by presenting two case studies of frontal dynamics within mid-latitude cyclones. Examples include joint interactive visual analysis of 3-D fronts and warm conveyor belt (WCB) trajectories, as well as identification of the 3-D frontal structures characterizing the different stages of a Shapiro–Keyser cyclogenesis event. The 3-D frontal structures show agreement with 2-D fronts from surface analysis charts and augment the surface charts by providing additional pertinent information in the vertical dimension. A second application illustrates the relation between convection and 3-D cold-front structure by comparing data from simulations with parameterized and explicit convection. Finally, we consider “secondary fronts” that commonly appear in UK Met Office surface analysis charts. Examination of a case study shows that for this event the secondary front is not a temperature-dominated but a humidity-dominated feature. We argue that the presented approach has great potential to be beneficial for more complex studies of atmospheric dynamics and for operational weather forecasting

Environmental Acidification Drives S. pyogenes Pilus Expression and Microcolony Formation on Epithelial Cells in a FCT-Dependent Manner

Group A Streptococcus (GAS, Streptococcus pyogenes) is a Gram-positive human pathogen responsible for a diverse variety of diseases, including pharyngitis, skin infections, invasive necrotizing fasciitis and autoimmune sequelae. We have recently shown that GAS cell adhesion and biofilm formation is associated with the presence of pili on the surface of these bacteria. GAS pilus proteins are encoded in the FCT (Fibronectin- Collagen-T antigen) genomic region, of which nine different variants have been identified so far. In the present study we undertook a global analysis of GAS isolates representing the majority of FCT-variants to investigate the effect of environmental growth conditions on their capacity to form multicellular communities. For FCT-types 2, 3, 5 and 6 and a subset of FCT-4 strains, we observed that acidification resulting from fermentative sugar metabolism leads to an increased ability of the bacteria to form biofilm on abiotic surfaces and microcolonies on epithelial cells. The higher biofilm forming capacity at low environmental pH was directly associated with an enhanced expression of the genes encoding the pilus components and of their transcription regulators. The data indicate that environmental pH affects the expression of most pilus types and thereby the formation of multicellular cell-adhering communities that assist the initial steps of GAS infection

Space QUEST mission proposal: experimentally testing decoherence due to gravity

Models of quantum systems on curved space-times lack sufficient experimental verification. Some speculative theories suggest that quantum properties, such as entanglement, may exhibit entirely different behavior to purely classical systems. By measuring this effect or lack thereof, we can test the hypotheses behind several such models. For instance, as predicted by Ralph and coworkers [T C Ralph, G J Milburn, and T Downes, Phys. Rev. A, 79(2):22121, 2009, T C Ralph and J Pienaar, New Journal of Physics, 16(8):85008, 2014], a bipartite entangled system could decohere if each particle traversed through a different gravitational field gradient. We propose to study this effect in a ground to space uplink scenario. We extend the above theoretical predictions of Ralph and coworkers and discuss the scientific consequences of detecting/failing to detect the predicted gravitational decoherence. We present a detailed mission design of the European Space Agency's (ESA) Space QUEST (Space - Quantum Entanglement Space Test) mission, and study the feasibility of the mission schema.Comment: 18 pages, 13 figures, included radiation damage to detectors in appendi

Taclets: A New Paradigm for Constructing Interactive Theorem Provers

Abstract. Frameworks for interactive theorem proving give the user explicit control over the construction of proofs based on meta languages that contain dedicated control structures for describing proof construction. Such languages are not easy to master and thus contribute to the already long list of skills required by prospective users of interactive theorem provers. Most users, however, only need a convenient formalism that allows to introduce new rules with minimal overhead. On the the other hand, rules of calculi have not only purely logical content, but contain restrictions on the expected context of rule applications and heuristic information. We suggest a new and minimalist concept for implementing interactive theorem provers called taclet. Their usage can be mastered in a matter of hours, and they are efficiently compiled into the GUI of a prover. We implemented the KeY system, an interactive theorem prover for the full JAVA CARD language based on taclets. Taclets: Un Nuevo Paradigma para construir Demostradores Automáticos Interactivos Resumen. Los marcos para la demostración interactiva de teoremas permiten al usuario tener control explícito de la construcción de las demostraciones sobre la base de unos metalenguajes que contienen unas estructuras de control dedicadas a la descripción de la construcción de las demostraciones. Estos lenguaje

Ciencias de la Computación / Computational Sciences Taclets: A New Paradigm for Constructing Interactive Theorem Provers

Abstract. Frameworks for interactive theorem proving give the user explicit control over the construction of proofs based on meta languages that contain dedicated control structures for describing proof construction. Such languages are not easy to master and thus contribute to the already long list of skills required by prospective users of interactive theorem provers. Most users, however, only need a convenient formalism that allows to introduce new rules with minimal overhead. On the the other hand, rules of calculi have not only purely logical content, but contain restrictions on the expected context of rule applications and heuristic information. We suggest a new and minimalist concept for implementing interactive theorem provers called taclet. Their usage can be mastered in a matter of hours, and they are efficiently compiled into the GUI of a prover. We implemented the KeY system, an interactive theorem prover for the full JAVA CARD language based on taclets. Taclets: Un nuevo paradigma para construir demostradores automáticos interactivos Resumen. Los marcos para la demostración interactiva de teoremas permiten al usuario tener control explícito de la construcción de las demostraciones sobre la base de unos metalenguajes que contienen unas estructuras de control dedicadas a la descripción de la construcción de las demostraciones. Estos lenguaje

A phase 2 trial of long-acting TransCon growth hormone in adult GH deficiency

TransCon growth hormone is a sustained-release human growth hormone prodrug under development in which unmodified growth hormone is transiently linked to a carrier molecule. It is intended as an alternative to daily growth hormone in the treatment of growth hormone deficiency. This was a multi-center, randomized, open-label, active-controlled trial designed to compare the safety (including tolerability and immunogenicity), pharmacokinetics and pharmacodynamics of three doses of weekly TransCon GH to daily growth hormone (Omnitrope). Thirty-seven adult males and females diagnosed with adult growth hormone deficiency and stable on growth hormone replacement therapy for at least 3 months were, following a wash-out period, randomized (regardless of their pre-study dose) to one of three TransCon GH doses (0.02, 0.04 and 0.08 mg GH/kg/week) or Omnitrope 0.04 mg GH/kg/week (divided into 7 equal daily doses) for 4 weeks. Main outcomes evaluated were adverse events, immunogenicity and growth hormone and insulin-like growth factor 1 levels. TransCon GH was well tolerated; fatigue and headache were the most frequent drug-related adverse events and reported in all groups. No lipoatrophy or nodule formation was reported. No anti-growth hormone-binding antibodies were detected. TransCon GH demonstrated a linear, dose-dependent increase in growth hormone exposure without accumulation. Growth hormone maximum serum concentration and insulin-like growth factor 1 exposure were similar after TransCon GH or Omnitrope administered at comparable doses. The results suggest that long-acting TransCon GH has a profile similar to daily growth hormone but with a more convenient dosing regimen. These findings support further TransCon GH development

Extract from Rumex acetosa L. for Prophylaxis of Periodontitis: Inhibition of Bacterial In Vitro Adhesion and of Gingipains of Porphyromonas gingivalis by Epicatechin-3-O-(4β→8)-Epicatechin-3-O-Gallate (Procyanidin-B2-Di-Gallate)

Background: The aerial parts of Rumex acetosa L. have been used in traditional European medicine for inflammatory diseases of the mouth epithelial tissue. The following study aimed to investigate the influence of a proanthocyanidin-enriched extract from R. acetosa extract against the adhesion of Porphyromonas gingivalis (P. gingivalis), a pathogen strongly involved in chronic and aggressive periodontitis. A further goal was to define the bioactive lead structures responsible for a potential antiadhesive activity and to characterize the underlying molecular mechanisms of the antiadhesive effects. Methodology: An extract of R. acetosa (RA1) with a defined mixture of flavan-3-ols, oligomeric proanthocyanidins and flavonoids, was used. Its impact on P. gingivalis adhesion to KB cells was studied by flow cytometry, confocal laser scanning microscopy and in situ adhesion assay using murine buccal tissue. RA1 and its compounds 1 to 15 were further investigated for additional effects on gingipain activity, hemagglutination and gene expression by RT-PCR. Principal Findings: RA1 (5 to 15 μg/mL) reduced P. gingivalis adhesion in a dose-dependent manner to about 90%. Galloylated proanthocyanidins were confirmed to be responsible for this antiadhesive effect with epicatechin-3-O-gallate-(4β,8)-epicatech​in-3’-O-gallate(syn. procyanidin B2-di-gallate) being the lead compound. Ungalloylated flavan-3-ols and oligomeric proanthocyanidins were inactive. RA1 and the galloylated proanthocyanidins strongly interact with the bacterial virulence factor Arg-gingipain, while the corresponding Lys-gingipain was hardly influenced. RA1 inhibited also hemagglutination. In silico docking studies indicated that epicatechin-3-O-gallate-(4β,8)-epicatech​in-3’-O-gallateinteracts with the active side of Arg-gingipain and hemaglutinin from P. gingivalis; the galloylation of the molecule seems to be responsible for fixation of the ligand to the protein. In conclusion, the proanthocyanidin-enriched extract RA1 and its main active constituent procyanidin B2-di-gallate protect cells from P. gingivalis infection by inhibiting bacterial adhesion to the host cell. RA1 and procyanidin B2-di-gallate appear to be promising candidates for future cytoprotective preparations for oral mouth care products

Space QUEST mission proposal: experimentally testing decoherence due to gravity

Models of quantum systems on curved space-times lack sufficient experimental verification. Some speculative theories suggest that quantum correlations, such as entanglement, may exhibit different behavior to purely classical correlations in curved space. By measuring this effect or lack thereof, we can test the hypotheses behind several such models. For instance, as predicted by Ralph et al [5] and Ralph and Pienaar [1], a bipartite entangled system could decohere if each particle traversed through a different gravitational field gradient. We propose to study this effect in a ground to space uplink scenario. We extend the above theoretical predictions of Ralph and coworkers and discuss the scientific consequences of detecting/failing to detect the predicted gravitational decoherence. We present a detailed mission design of the European Space Agency's Space QUEST (Space-Quantum Entanglement Space Test) mission, and study the feasibility of the mission scheme